$\forall$${\it Cmd}$:Type, $c$:chain\_sys(${\it Cmd}$). sys{-}cmds($c$) $\in$ (${\it Cmd}$ List)